Non-Determinism in Conceptual Models
نویسندگان
چکیده
During the analysis phase of the development of a software system, conceptual models are created to establish a description of the problem domain. In this paper we introduce concepts that allow us to introduce non-determinism in the specification of behaviour in conceptual models and we provide formal and declarative semantics for these constructs. We integrate non-determinism with the concept of constrainment and show how this can lead to a better separation of structure from behaviour.
منابع مشابه
relationship between Organizational Culture, Strategic Human Resource Management (SHRM) and Organizational Citizenship Behavior (OCB) in communicational organizations
This article reviews the relationship between organizational culture Strategic Human Resource Management (SHRM) and Organizational Citizenship Behavior (OCB). Although, Organizational culture and SHRM are important factors influencing organizational citizenship behaviors but little research has been done about how these two factors influencing the organizational citizenship behavior. The main p...
متن کاملNon-deterministic Böhm trees
Lambda calculus is well established as the formal model of functional programming. Non-determinism is an interesting conceptual issue, often considered in process-calculi. It is interesting to mix lambda-calculus and non-determinism, firstly because programmers use functional programming but also concurrent methods, networks and multi-users systems, secondly as a step towards more complex langu...
متن کاملSemantic Determinism and Functional Logic Program Properties
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict functions. Therefore, equational reasoning is not valid for deriving properties of such programs. In a previous work we showed how a mapping from CRWL –a well known logical framework for functional logic programming– into ...
متن کاملA Specification Formalism for Interacting Objects∗
We develop a logic for reasoning about requirement specification of objects with (internal and external) non-determinism. We try to achieve conceptual simplicity by avoiding the use of infinite sequences, restricting ourselves to finite traces, and by formulating a proof system satisfying the classical rules of first order logic. Under-specification is used to capture internal nondeterminism; e...
متن کاملConceptual and numerical models of the evolution of pedogenic carbonates in soils of arid and semi-arid regions: A review
Introduction Calcareous soils are widely distributed in arid and semi-arid regions of the world and the presence of carbonates in the soils affects both physicochemical properties and the pedogenic evolution. In addition, soil carbon plays a critical role in the global carbon cycle, and pedogenic carbonates are an important sink for atmospheric carbon. Pedogenic carbonates are also the proxy o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002